TSTP Solution File: SET617^5 by Nitpick---2016